perm filename ABSTRA[S78,JMC] blob sn#350897 filedate 1978-04-25 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Abstract: Another language for expressing "knowing that" is given together
C00003 ENDMK
CāŠ—;
Abstract: Another language for expressing "knowing that" is given together
with axioms and rules of inference and a Kripke type semantics.  The
formalism is extended to time-dependent knowledge.  Completeness and
decidability theorems are given.  The problem of the wise men with spots
on their foreheads and the problem of the unfaithful wives are expressed
in the formalism and solved.